.operator_element{
	text-decoration:underline;
	width:50px;
	height:20px;
	position:absolute;
	color:#0042ae;
	font-weight:normal;
	padding-top:4px;
}


.operator_clicked{
	text-decoration:none;
	font-weight:bold;
}